<?php
  
  function userLogout() {
    session_destroy();
    return "";
  }

?>
